type theory câu

• For a theoretical formulation, see type theory.
  Đối với một công thức lý thuyết, xem lý thuyết kiểu.
• The formal design and study of type systems is known as type theory.
  Việc thiết kế và nghiên cứu các hệ thống kiểu được biết như là lý thuyết kiểu.
• The formal design and study of type systems is known as type theory .
  Việc thiết kế và nghiên cứu các hệ thống kiểu được biết như là lý thuyết kiểu.
• The basic premise of the film comes from the Japanese blood type theory of…
  Những tiền đề cơ bản của bộ phim đến từ các loại máu Nhật lý thuyết về nhân cá
• The basic premise of the film comes from the Japanese blood type theory of…
  Những tiền đề cơ bản của bộ phim đến từ các loại máu Nhật lý thuyết về nhân cách
• Type theory is consistent with the mathematical axioms, but couched in the language of computers.
  Lý thuyết loại phù hợp với các tiên đề toán học, nhưng nằm trong ngôn ngữ của máy tính.
• Type of Theoretical Theory
  Lý thuyết kiểu Type theory
• The fundamental problem addressed by a type theory is to insure that programs have meaning.
  Vấn đề cơ bản được chỉ ra bởi lý thuyết kiểu là để bảo đảm chương trình có ý nghĩa.
• The fundamental problem addressed by a type theory is to ensure that programs have meaning.
  Vấn đề cơ bản được chỉ ra bởi lý thuyết kiểu là để bảo đảm chương trình có ý nghĩa.
• The fundamental problem caused by a type theory is that meaningful programs may not have meanings ascribed to them.
  Vấn đề cơ bản gây ra bởi lý thuyết kiểu là các chương trình có ý nghĩa có thể không có ý nghĩa vốn được gán cho chúng.
• They attributed the paradox to "vicious circularity" and built up what they called ramified type theory to deal with it.
  Họ gán cho nghịch lý là "vòng tròn luẩn quẩn" và xây dựng cái mà họ gọi là lý thuyết kiểu phân nhánh để đối phó với nó.
• The paradox drove Russell to develop type theory and Ernst Zermelo to develop an axiomatic set theory, which evolved into the now-canonical Zermelo–Fraenkel set theory.
  Nghịch lý này thúc đẩy Russell phát triển lý thuyết kiểu và Ernst Zermelo phát triển lý thuyết tập hợp tiên đề ngày nay trở thành lý thuyết tập hợp Zermelo-Fraenkel.
• The paradox drove Russell to develop type theory and Ernst Zermelo to develop an axiomatic set theory which evolved into the now-canonical Zermelo–Fraenkel set theory.
  Nghịch lý này thúc đẩy Russell phát triển lý thuyết kiểu và Ernst Zermelo phát triển lý thuyết tập hợp tiên đề ngày nay trở thành lý thuyết tập hợp Zermelo-Fraenkel.
• Some research-oriented functional languages such as Coq, Agda, Cayenne, and Epigram are based on intuitionistic type theory, which allows types to depend on terms.
  Một số ngôn ngữ lập trình hàm định hướng nghiên cứu như Coq, Agda, Cayenne, và Epigram dựa trên lý thuyết kiểu intuitionistic, thuyết này cho phép các kiểu phụ thuộc vào các term.
• Some research-oriented functional languages such as Coq, Agda, Cayenne, and Epigram are based on intuitionistic type theory, which lets types depend on terms.
  Một số ngôn ngữ lập trình hàm định hướng nghiên cứu như Coq, Agda, Cayenne, và Epigram dựa trên lý thuyết kiểu intuitionistic, thuyết này cho phép các kiểu phụ thuộc vào các term.
• In type theory, product types (with no field names) are generally preferred due to their simplicity, but proper record types are studied in languages such as System F-sub.
  Trong lý thuyết loại, các loại sản phẩm (không có tên trường) thường được ưa thích do tính đơn giản của chúng, nhưng các loại bản ghi thích hợp được nghiên cứu bằng các ngôn ngữ như System F-sub.
• Type theory became applied as a discipline to programming languages, this application has led to tremendous advances in type theory over the years.
  Lý thuyết kiểu bắt đầu được áp dụng như là một ngành học (tiếng Anh:discipline) đối với các ngôn ngữ lập trình, được dẫn dắt bởi Milner; ứng dụng này dẫn đến những tiến bộ to lớn trong lý thuyết kiểu suốt nhiều năm qua.
• Type theory became applied as a discipline to programming languages, this application has led to tremendous advances in type theory over the years.
  Lý thuyết kiểu bắt đầu được áp dụng như là một ngành học (tiếng Anh:discipline) đối với các ngôn ngữ lập trình, được dẫn dắt bởi Milner; ứng dụng này dẫn đến những tiến bộ to lớn trong lý thuyết kiểu suốt nhiều năm qua.